#include <stdio.h>
void split_time(long total_sec, int *hr, int *min, int *sec);
int main(void)
{
    long total_sec = 45296;  /* 12:34:56 */
    int h, m, s;
    split_time(total_sec, &h, &m, &s);
    printf("%02d:%02d:%2d\n", h, m, s);
    return 0;
}
void split_time(long total_sec, int *hr, int *min, int *sec) {
    long total_min;
    total_min = total_sec / 60;
    *sec = total_sec % 60;
    *hr = total_min / 60;
    *min = total_min % 60;
}